Traduction et analyse des mots par intelligence artificielle
Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:
- comment le mot est utilisé
- fréquence d'utilisation
- il est utilisé plus souvent dans le discours oral ou écrit
- options de traduction de mots
- exemples d'utilisation (plusieurs phrases avec traduction)
- étymologie
function of minimal type - traduction vers russe
![[[Costa's Minimal Surface]]](https://commons.wikimedia.org/wiki/Special:FilePath/Costa's Minimal Surface.png?width=200 "[[Costa's Minimal Surface]]")
![[[Saddle tower]] minimal surface. While any small change of the surface increases its area, there exist other surfaces with the same boundary with a smaller total area.](https://commons.wikimedia.org/wiki/Special:FilePath/Saddle Tower Minimal Surfaces.png?width=200 "[[Saddle tower]] minimal surface. While any small change of the surface increases its area, there exist other surfaces with the same boundary with a smaller total area.")
математика
минимальное подмногообразие
математика
минимальная поверхность
Définition
.
Wikipédia
In computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function.
A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type). In theoretical settings and programming languages where functions are defined in curried form, such as the simply typed lambda calculus, a function type depends on exactly two types, the domain A and the range B. Here a function type is often denoted A → B, following mathematical convention, or BA, based on there existing exactly BA (exponentially many) set-theoretic functions mappings A to B in the category of sets. The class of such maps or functions is called the exponential object. The act of currying makes the function type adjoint to the product type; this is explored in detail in the article on currying.
The function type can be considered to be a special case of the dependent product type, which among other properties, encompasses the idea of a polymorphic function.
